| 1. | Further , resolution principle based on matrix calculus is proposed . 4
进一步，在万中提出了基于矩阵运算的归结原理。 |
| 2. | In this thesis , reasning based medel and resolution principle are deeply studied , and using netal network partly driplement automated reasoning
本文在对命题逻辑系统的模型推理和归结原理研究的基础上，尝试利用神经网络部分实现自动推理。 |
| 3. | So , resolution principle of n is clear and simple , and we can use the four fundamental operations of arithmetic in the procession of the resolution
由于这种“特殊性”的存在，使得页中的归结原理形式上简单、明了，并且归结过程可以用数与数之间的运算体现。 |
| 4. | Theory directs practice , but practice counteracts on theory . the resolution principles and measurements brought out by this thesis also need practice to modify them
理论指导实践，实践同时也反作用于理论，本文所提出的突破高中化学新课程教与学难点的原则及措施还需要通过实践进一步完善。 |
| 5. | Afterward , i analyzed the difficult points through theory , found the causes of them . at last , i put forward resolution principles and measurements in according to the theory research
最后根据理论指导实践的原则，结合实际教学实践，尝试性地提出了突破高中化学新课程教与学难点的原则及具体突破措施。 |
| 6. | In this paper , we do two things . first , for theorem proving problem such like ( vx ) ( 3y ) p ( x , y ) , we present a method for extracting procedure from the proofs generated by the resolution principle
) y ) p ( x ， y )的定理证明问题，本文从分析归结证明树中的每个节点入手，提取归结证明的过程信息，生成一个程序。 |
| 7. | Based on radar resolution principles , the factors working on sar resolution are discussed . the waveforms are classified by ambiguity function , and the principle of waveform design is introduced
本文结合了雷达分辨理论分析了限制合成孔径雷达分辨率的因素，给出了雷达波形按模糊函数的分类与波形设计原则。 |
| 8. | A kind of resolution principle based on neural network in the procession of the resolution , computationally hard problem may happen . because neural network has the advantage of learning and parallel algorithmic , we can use it to solve the problem
基于神经网络的归结原理实现在数字系统n中，归结过程会产生大量的计算，自然地，我们会想到利用神经网络学习和并行计算的优点解决这一问题。 |
| 9. | 3 . resolution principle of numerals system n because simple statements have order relation in n , the order relation makes complex statements of n have special property . it happens in the inside of a complex statement , no between two complex statements
数字系统万中的归结原理由于数字系统厂中的原子命题带有自然数序关系，使厂中的公式又有了一些“特殊性” ，且这种“特殊性”只体现在公式内部，两个公式之间没有这种“特殊性” 。 |
| 10. | An approach to xml problem solving by means of resolution principle is presented . the subsumption and request of problem is formalized by xdd and the problem is evaluated by employment of resolution principle . an intelligent decision support system based on xml is presented
主要内容包括：建立了基于xml的公理系统；给出了假言推理在xdd中的应用形式；论证了假言推理在xdd中有效性和完备性；给出了应用证明论方法实现xml问题求解的方法和步骤。 |
